$a$ $<_{b}$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($a$ ($\leq_{b}$) $b$) $\wedge_{b}$ ($\neg_{b}$($b$ ($\leq_{b}$) $a$))